$A$ List($n$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\{$x$:($A$ List)$\mid$ $\parallel$$x$$\parallel$ $=$ $n$ \}